Fixed point - PDFSEARCH.IO - Document Search Engine

Fixed point
Results: 544

#	Item
321	Ivor, a Proof Engine Edwin Brady School of Computer Science, University of St Andrews, St Andrews, Scotland. Email: [removed]. Tel: +[removed], Fax: +[removed] Add to Reading List Source URL: eb.host.cs.st-andrews.ac.uk Language: English - Date: 2007-02-05 08:12:08 Functional languages Type theory Lambda calculus Logic in computer science Functional programming Combinatory logic Fixed-point combinator Dependent type Monad Software engineering Declarative programming Theoretical computer science
322	Asymptotically safe Quantum Gravity Nonperturbative renormalizability and fractal space-times Frank Saueressig Institute for Theoretical Physics & Spinoza Institute Utrecht University Add to Reading List Source URL: www.gravity.psu.edu Language: English - Date: 2006-09-06 11:29:11 Statistical mechanics Fixed points Mathematical physics Quantum gravity UV fixed point General relativity Renormalization Quantum mechanics Physics Quantum field theory Renormalization group
323	Dimensionality Reduction by Unsupervised Regression ´ Carreira-Perpi˜na´ n Miguel A. EECS, University of California, Merced Zhengdong Lu Add to Reading List Source URL: faculty.ucmerced.edu Language: English - Date: 2008-07-14 20:37:43 Multivariate statistics Data analysis Dimension reduction Probability theory Numerical analysis Fixed-point combinator Nonlinear dimensionality reduction Principal component analysis Spectral method Mathematical analysis Mathematics Statistics
324	EN[removed]V2[removed]Fixed Radio Systems; Characteristics and requirements for point-to-point equipment and antennas; Part 2-1: System-dependent requirements for digital systems operating in frequency bands where Add to Reading List Source URL: www.etsi.org Language: English - Date: 2014-12-12 05:06:24 Digital Enhanced Cordless Telecommunications Electronic engineering Radio spectrum GSM Electronics Wireless Digital mobile radio ETSI Satellite Digital Radio Local loop Technology European Telecommunications Standards Institute
325	´ DUALITY IN P.A. SMITH THEORY POINCARE CHRISTOPHER ALLDAY, BERNHARD HANKE, AND VOLKER PUPPE Abstract. Let G = S 1 , G = Z/p or more generally G be a finite pgroup, where p is an odd prime. If G acts on a space whose co Add to Reading List Source URL: www.math.uni-augsburg.de Language: English - Date: 2013-12-05 22:02:12 Algebraic topology Betti number Topological graph theory Lefschetz fixed-point theorem Duality Inner product space Representation theory of finite groups Heat equation Mathematics Abstract algebra Algebra
326	Discussion paper[removed]SPLIT-PANEL JACKKNIFE ESTIMATION OF FIXED-EFFECT MODELS Add to Reading List Source URL: spire.sciencespo.fr Language: English Statistical theory Maximum likelihood Estimator Consistent estimator Resampling Point estimation Efficiency Efficient estimator Fisher consistency Statistics Estimation theory Statistical inference
327	Analyzing Module Diversity1 Alexandre Bergel (Software Composition Group, University of Bern, Switzerland [removed]/∼scg) St´ ephane Ducasse Add to Reading List Source URL: rmod.lille.inria.fr Language: English - Date: 2012-07-29 09:42:05 Lambda calculus Module theory Namespace Fixed-point combinator Perl module Simple module Module Combinatory logic D-module Software engineering Mathematics Abstract algebra
328	Call-by-name linguistic side effects Oleg Kiselyov FNMOC [removed] Abstract Add to Reading List Source URL: okmij.org Language: English - Date: 2008-08-18 21:58:00 Mathematical logic Free variables and bound variables System F Combinatory logic Fixed-point combinator Theoretical computer science Lambda calculus Mathematics
329	OVERLOAD CONTENTS OVERLOAD 91 Add to Reading List Source URL: accu.org Language: English - Date: 2009-06-02 18:13:24 Mathematics Floating point Double-precision floating-point format IEEE 754-2008 Decimal floating point Single-precision floating-point format Rounding Machine epsilon Fixed-point arithmetic Computer arithmetic Arithmetic Numbers
330	RATIONALITY’S FIXED POINT (OR: IN DEFENSE OF RIGHT REASON) MICHAEL G. TITELBAUM Forthcoming in Oxford Studies in Epistemology. Draft of September 18, 2013. Add to Reading List Source URL: www.marcsandersfoundation.org Language: English - Date: 2013-10-03 17:07:02 Philosophical logic Reasoning Autonomy Philosophy of mind Rationality Reason Categorical imperative Empiricism Truth Philosophy Logic Epistemology

UPDATE